The While language
نویسندگان
چکیده
This article consists on the presentation of the While language, a simple imperative programming language based on the language with the same name presented in [3]. The objective is to study and develop ”hands-on” a formal specification of a programming language, namely its syntax, operational semantics and type system. This is an initial step to help us understand the fundamentals of imperative programming and its features, such as state changes, order of execution and control flow expressions [2], which are crucial in the mainstream programming due to the fact since they allow programmers to have more power on how a program executes. We decided to do this with a simple imperative programming language specification before we start studying and modifying more complex imperative languages, namely languages that include object-oriented features.
منابع مشابه
The Role of Private Speech Produced by Intermediate EFL Learners in Lexical Language Related Episodes
Private speech utilization is accepted to have a critical role in the continuum of language acquisition. As a valuable device in studying learners’ talk during interaction, a language related episode (LRE) is any part of a dialogue where a student speaks about a language problem s/he comes across while completing a task. The present study investigated the role of private speech produced by Inte...
متن کاملThe Relationship between EFL Learners’ Use of Language Learning Strategies and Self-Perceived Language Proficiency
The present study was conducted to investigate whether there was a relationship between EFL learners’ use of language learning strategies and their self-perceived language proficiency at the two levels of intermediate and advanced. A total of 67 subjects (39 intermediate-level and 28 advanced) were selected to participate in this study based on their scores on a piloted language proficiency tes...
متن کاملA Reflection on Kristeva's Approach to the Structure of Language
Reaching out to history and subject in terms of meaning variation, Kristeva could show that language cannot simply be a Saussurean sign system. Rather, she went on to delineate that language, beyond signs, is associated with a dynamic system of signification where the ''speaking subject'' is constantly involved in processing. Julia Kristeva, a French critic, psychoanalyst, theoretician, a post-...
متن کاملAn Analysis of Ministry of Education’s Strategic Plans Based on Favorable Components of English Language Teaching Using Shannon’s Entropy
The present research aims to analyze the content of Ministry of Education’s strategic plans (the Fundamental Reform Document of Education, the Comprehensive National Scientific Plan and the National Curriculum Document) based on Shannon's entropy regarding the favorable components of teaching English. The contents of the Fundamental Reform Document of Education, the Comprehensive National Scien...
متن کاملUsing functional magnetic resonance imaging (fMRI) to explore brain function: cortical representations of language critical areas
Pre-operative determination of the dominant hemisphere for speech and speech associated sensory and motor regions has been of great interest for the neurological surgeons. This dilemma has been of at most importance, but difficult to achieve, requiring either invasive (Wada test) or non-invasive methods (Brain Mapping). In the present study we have employed functional Magnetic Resonance Imaging...
متن کاملUsing functional magnetic resonance imaging (fMRI) to explore brain function: cortical representations of language critical areas
Pre-operative determination of the dominant hemisphere for speech and speech associated sensory and motor regions has been of great interest for the neurological surgeons. This dilemma has been of at most importance, but difficult to achieve, requiring either invasive (Wada test) or non-invasive methods (Brain Mapping). In the present study we have employed functional Magnetic Resonance Imaging...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1603.08949 شماره
صفحات -
تاریخ انتشار 2016